Search results for "Kripke model"

showing 2 items of 2 documents

Finitary unification in locally tabular modal logics characterized

2022

We provide necessary and sufficient conditions for finitary unification in locally tabular modal logics, solely in terms of Kripke models. We apply the conditions to establish the unification types of logics determined by simple finite frames. In particular, we show that unification is finitary (or unitary) in the logic determined by the fork (frame F4, see Fig. 6), the rhombus (frame F5), inGL.3m,GrzBd2,S4Bd2and other logics; whereas it is nullary in the logic of F6, and of the pentagon FN5. In Appendix analogous results are given for superintuitionistic logics.

Locally tabular logicUnification typesLogicUnificationModal logicKripke modelAnnals of Pure and Applied Logic
researchProduct

Games and Bisimulations for Intuitionistic First-Order Kripke Models

2021

The aim of this paper is to introduce the notion of a game for intuitionisticfirst-order Kripke models. We also establish links between notions presented here and thenotions of logical equivalence and bounded bisimulation for intuitionistic first-order Kripkemodels, and the Ehrenfeucht–Fra ̈ıss ́e game for classical first-order structures.

Winning strategyBisimulationLogical equivalenceLogicIntuitionistic first-order logicKripke modelsGameEhrenfeucht–Fra ̈ıss ́e gameFirst orderAlgebraHistory and Philosophy of ScienceBounded functionComputational linguisticsKripke modelMathematicsStudia Logica
researchProduct